Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... 10644 (Lecture Notes in Computer Science)
by Phillip James, Markus Roggenbach
ISBN 13: 9783319720432
Format: Paperback (236 pages) Publisher: Springer Published: 08 Dec 2017
Save for later
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings: 3629 (Lecture Notes in Computer Science)
by Jan Rutten, Markus Roggenbach, Neil Harman, Jos?? Luis Fiadeiro
ISBN 13: 9783540286202
Format: Paperback (468 pages) Publisher: Springer Published: 13 Jun 2008
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Lecture Notes in Computer Science, 12669)
by Markus Roggenbach
ISBN 13: 9783030737849
Format: Paperback (174 pages) Publisher: Springer Published: 11 Apr 2021
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
by Markus Roggenbach,Antonio Cerone,Bernd-Holger Schlingloff,Gerardo Schneider,Siraj Ahmed Shaikh
ISBN 13: 9783030387990
Format: Hardcover (552 pages) Publisher: Springer Published: 07 Jul 2022